$\forall$$a$, $b$, $c$, $d$:$\mathbb{Q}$. $a$ $<$ $b$ $\Rightarrow$ $c$ $\leq$ $d$ $\Rightarrow$ $a$ + $c$ $<$ $b$ + $d$